fwefdsfdsefsdf

1. (AɅ¬B)V(AɅ(AɅC))
(AɅ¬B)V(AɅ(AɅC))
AɅ(¬BV(AɅC))
AɅ((¬BVA)Ʌ(AɅC))
AɅ(1Ʌ(AɅC))
AɅ(AɅC)
2. (¬(AV¬B)V¬0)Ʌ(¬AVA)
(¬(AV¬B)V¬0)Ʌ(¬AVA)
¬(0V¬0) Ʌ0
¬AɅ0
0
3. (¬AɅ¬(¬AɅ¬A))V(¬AV1)
(¬AɅ¬(¬AɅ¬A))V(¬AV1)
(¬AɅ¬(¬AɅ¬A))V¬A
(¬AɅ¬¬0)V¬A
¬0V¬A
¬A
A
¬A
T
F
T
F
F
T
4. [¬BɅ(¬AV¬¬¬A)]V[(¬AV0)]
[¬BɅ(¬AV¬¬¬A)]V[(¬AV0)]
[¬BɅ(¬AVA)]V¬A
[¬BɅ¬1)]V¬A
[¬BɅ¬1)]V¬A
¬BV¬A
¬1
5. ¬0Ʌ(BVB)Ʌ(¬(¬AɅ¬B))
¬0Ʌ(BVB)Ʌ(¬(¬AɅ¬B))
¬0Ʌ(BVB)Ʌ(¬¬0)
¬0Ʌ(BɅ0)
¬0
6. ¬(¬(AɅB)VA)≡1
¬¬AVA
Ξ1
komutatif
AVA
Ξ1
negasi ganda
A
Ξ1
idemporens
7. AɅ(¬AVB)≡AɅB
AɅB
Ξ AɅB
absorbsi
¬¬AɅ¬¬B
Ξ AVB
demorgan
AɅB
Ξ AVB
negasi Ganda
8. ¬(¬AɅ¬B)≡AVB
9. (AɅB)V(AɅ¬B) Ξ A
(AɅB)V¬B
ΞA
komutatif
AɅ(BV¬B)
ΞA
asosiatif
A
ΞA
identitas
10. ¬(¬AV¬(BVC))≡(AɅB)V(AɅC)
¬¬AV¬¬(¬BV¬C))
Ξ (AɅB)V(AɅC)
demorgan
AV(¬BV¬C)
Ξ (AɅB)V(AɅC)
negasi ganda
A
Ξ(AɅB)V(AɅC)
absorbsi