you are viewing a single comment's thread
view the rest of the comments
[–] 3 points 1 month ago*

(A and B) then (not A)

A B ~A (A^B) -> ~A

T T F F

T F F F

F T T F

F F T F

This is definitely not a tautology

  • source
  • parent