Mickey7@lemmy.world to Lemmy Shitpost@lemmy.world · 24 hours agoI don't care if you don't like it. It's functional and I found it for freelemmy.worldimagemessage-square11linkfedilinkarrow-up1136arrow-down11
arrow-up1135arrow-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 · 24 hours agomessage-square11linkfedilink
minus-squareSiegfried@lemmy.worldlinkfedilinkarrow-up2·10 hours 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