A ^ ¬A ≡, A, 0, 1, A V 0 ≡, A, 1, 0, A ^ 1 ≡, A, 1, 0, A ^ 0 ≡, 0, 1, A, A V ¬A ≡, A, 1, 0, A V 1 ≡, A, 1, 0, A V B ≡, 1, A, B V A, ¬A V 1 ≡, ¬A, A, 1, 0, ¬B ^ 1 ≡, ¬B, B, 1, 0, A ^ A ^ B ^ B ≡, A ^ B, A, B, A V B, A V B V 1 ≡, 1, A V B, 0, A, A ^ B ^ 0 ≡, 1, 0, A ^ B, B, What is this law called? ¬ (A V B) ≡ ¬A ^ ¬B, De Smiths, De Facto, De Morgans, De Doo Dah, A V B V C V D V 1 ≡, 1, 0, ABCD, A ^ B ^ C ^ D, A ^ (B V C) ≡, A ^ B V A ^ C, ABC, A ^ B, B V C

Leaderboard

Visual style

Options

Switch template

Continue editing: ?