Académique Documents
Professionnel Documents
Culture Documents
AVB
BVA
AVBBVA
b) (A B) C A (B C) (Tautologia)
A
(A V B)
(A V B) V C
(B V C)
A V (B V C)
(A V B) V C A V (B V C)
c) ~(A B) ~A ~B(Contingncia)
A
(A ^ B)
~(A ^ B) ~A ~B ~A ^ ~B
~(A ^ B) ~A ^ ~B
d) (A B) B ~((B A) A) (Contradio)
A
(A ^ B)
(A ^B) ^ B
(B ^ A)
(B ^ A) ^ A
~((B ^ A) ^ A)
(A ^B) ^ B ~((B ^ A) ^ A)