1) A v 1 a) 1 b) (A^B)^C=A^(B^C) c) ¬¬A d) ¬AvA 2) A ^ 0 a) ¬¬A=A b) ¬A v ¬B c) 0 d) A^B=B^A 3) 0 a) A^(B^C)=(A^B)v(A^C) b) ¬A^A c) AvA=A d) A^(B^C) 4) 1 a) ¬AvA b) ¬A v ¬B = ¬(A^B) c) 1 d) A^B=B^A 5) (A^B)v(A^C) a) AvA=A b) ¬A v ¬B = ¬(A^B) c) A^(B^C) d) ¬A^¬B 6) A a) ¬¬A b) ¬A^¬B c) A^(B^C) d) 1 7) ¬(A^B) a) ¬A^A b) ¬A v ¬B c) (A^B)^C=A^(B^C) d) 0 8) Example of de Morgan's theorem a) ¬A^¬B b) ¬A v ¬B = ¬(A^B) c) A^(B^C) d) AvA=A 9) ¬(AvB) a) ¬A^¬B b) ¬¬A=A c) ¬A^A d) ¬AvA 10) Example of distributive law a) 0 b) ¬A v ¬B c) ¬A v ¬B = ¬(A^B) d) A^(B^C)=(A^B)v(A^C) 11) Example of commutative law a) ¬¬A b) 1 c) A^B=B^A d) ¬AvA 12) Example of associative rule a) ¬A v ¬B b) (A^B)^C=A^(B^C) c) ¬A^¬B d) 1 13) Example of double negation a) ¬¬A=A b) ¬A v ¬B c) A^B=B^A d) ¬A^A 14) Example of one of the many Boolean identities a) ¬A v ¬B = ¬(A^B) b) ¬¬A=A c) AvA=A d) 0 15) Example of Absorption Rule a) ¬A v ¬B = ¬(A^B) b) ¬¬A=A c) AvA=A d) 0 e) Av(A^B)=A

Výsledková tabule/Žebříček

Vizuální styl

Možnosti

Přepnout šablonu

Obnovit automatické uložení: ?