jyao.codingApr 29A - B - A and not B - not (B or A) - (A and not B) or (not (B or A))0 0 0 1 10 1 0 0 01 0 1 0 11 1 0 0 0A - B - ~(A+ ~B) - ~(A+B) - ~(A+ ~B) * ~(A+B)0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 013 - 7 > 18/3 - false24/6 >= 2^2 and 9*3 < 25 - false13-7>18/3 or not(24/6>=2^2 and 9*3<25) - true
mysteryboxes4lifeApr 30A - B - A and not B - not (B or A) - (A and not B) or (not (B or A))A - B - -(A+ -B) - -(A+B) - -(A+ -B) * -(A+B)falsefalsetrue
ygou88Apr 30A - B - A and not B - not (B or A) - (A and not B) or (not (B or A)0 0 0 1 10 1 0 0 01 0 1 0 11 1 0 0 0A - B - ~(A+ ~B) - ~(A+B) - ~(A+ ~B) * ~(A+B)0 0 0 1 00 1 1 0 01 0 0 0 01 1 1 0 0false falsetrue
A - B - A and not B - not (B or A) - (A and not B) or (not (B or A))
0 0 0 1 1
0 1 0 0 0
1 0 1 0 1
1 1 0 0 0
A - B - ~(A+ ~B) - ~(A+B) - ~(A+ ~B) * ~(A+B)
0 0 0 1 0
0 1 1 0 0
1 0 0 0 0
1 1 0 0 0
13 - 7 > 18/3 - false
24/6 >= 2^2 and 9*3 < 25 - false
13-7>18/3 or not(24/6>=2^2 and 9*3<25) - true
A - B - A and not B - not (B or A) - (A and not B) or (not (B or A))
A - B - -(A+ -B) - -(A+B) - -(A+ -B) * -(A+B)
false
false
true
A - B - A and not B - not (B or A) - (A and not B) or (not (B or A)
0 0 0 1 1
0 1 0 0 0
1 0 1 0 1
1 1 0 0 0
A - B - ~(A+ ~B) - ~(A+B) - ~(A+ ~B) * ~(A+B)
0 0 0 1 0
0 1 1 0 0
1 0 0 0 0
1 1 1 0 0
false
false
true