Jawaban no 2 logika Tugas 6

a. = A V ( -A -> A)
    = A V (A V A )
   = (A V A)V(A V A)
   = A V A
   = A

b. = (AVB)->(-(A->B))
    = ((-A)^(-B))V(-(-AVB))
    = ((-A)^(-B))V(AV(-B))
    = ((-A)^A)V((-B)^(-B))
    = (((-A)^A)V(-B))

c. = (A -> B)->((A->(-B))->(-A))
    = ((-A)VB)V(((-A)V(-B))->(-A))
    = ((-A)VB)V((A^B)VA)
   = ((-A)VB)V((AVA)^(BVA))
   = ((-A)VB)V(A^(BVA))
   = ((-A)VB)VA
   = ((-A)VA)V(BVA)
   = (1)V(BVA)
  
   = 1