Matematika diskrit / logic

Logika proposisional

Operator: ! atau NOT, &, |, ^, ->, dan <->. Prioritas operator: NOT, AND, XOR, OR, implikasi, lalu bikondisional.