Mickey7@lemmy.world to Lemmy Shitpost@lemmy.world · 11 days agoI don't care if you don't like it. It's functional and I found it for freelemmy.worldimagemessage-square11fedilinkarrow-up1151arrow-down11
arrow-up1150arrow-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 · 11 days agomessage-square11fedilink
minus-squareSiegfried@lemmy.worldlinkfedilinkarrow-up3·edit-211 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