PRAKTEK LOGIKA PEMROGRAMAN
Nama : Antony Anwari Rahman
NIM : 5302411236
Tugas 1 : Membuat tabel kebenaran
¬ (p ↔ q) ≈ (p ^ ¬ q) v (q ^ ¬ p)
Tabel Kebenaran
| p | q | p ↔ q | ¬ ( p ↔ q ) |
| T | T | T | F |
| T | F | F | T |
| F | T | F | T |
| F | F | T | F |
| p | q | ¬p | ¬q | p ˄ ¬q | q ˄ ¬p | (p ˄ ¬q) ˅ (q ˄ ¬p) |
| T | T | F | F | F | F | F |
| T | F | F | T | T | F | T |
| F | T | T | F | F | T | T |
| F | F | T | T | F | F | F |
