Click on the tautology that is the basis for the

Last updated: 4/26/2023

Click on the tautology that is the basis for the simplification rule of inference p q p q Selected Coordinates P pv q p q q