1) (T∨F)→T 2) (F↔F)→F 3) (F∨F)∧T 4) (T∧F)→F 5) (F∨T)↔T 6) F→[∼(∼F→T)] 7) ∼T→[∼(F∧∼T)] 8) F↔[∼(T→∼T)] 9) [∼(T→∼T)∨T]↔T 10) [∼(F→∼F)∧T]∨F 11) [F∨T→∼T]↔F 12) T∧T↔T→∼T 13) ∼{∼[T→∼(F∨∼T)]} 14) T→{∼T↔[F∧∼F]} 15) F→T↔F∨T

Logic

สั่งพิมพ์
ฝัง

ลีดเดอร์บอร์ด

สไตล์ภาพ

ตัวเลือก

สลับแม่แบบ

คืนค่าการบันทึกอัตโนมัติ: ใช่ไหม