Еске салайық, үш негізгі (негізгі) логикалық амал бар. Олар конъюнкция – логикалық көбейту (∧ немесе \(*\ символымен белгіленеді), немесе мүлде белгіленбейді), дизъюнкция – логикалық қосу (∨ немесе \(+\) символымен белгіленеді) және инверсия – логикалық терістеу (белгіленген). ¬ арқылы немесе логикалық айнымалының үстіндегі жолақ ).