Mickey7@lemmy.world to Lemmy Shitpost@lemmy.world · 6 days agoI don't care if you don't like it. It's functional and I found it for freelemmy.worldimagemessage-square11linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imageI don't care if you don't like it. It's functional and I found it for freelemmy.worldMickey7@lemmy.world to Lemmy Shitpost@lemmy.world · 6 days agomessage-square11linkfedilink
minus-squareSiegfried@lemmy.worldlinkfedilinkarrow-up0·6 days 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
(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