Tautologier


(P och Q) eller R om och endast om (P eller R) och (Q eller R)
(P eller Q) och R om och endast om (P och R) eller (Q och R)
P och Q om och endast om Q och P
P eller Q om och endast om Q eller P
P om och endast om P
P om och endast om inteinteP
P eller inteP
inte(P och inteP)
inte(P och Q) om och endast om inteP eller inteQ
inte(P eller Q) om och endast om inteP och inteQ
(P endast om Q) om och endast om (inteQ endast om inteP)
(P endast om Q) och P endast om Q
(P endast om Q) och inteQ endast om inteP
(P eller Q) och inteP endast om Q
P och tautologi om och endast om P
P eller tautologi om och endast om tautologi
P och kontradiktion om och endast om kontradiktion
P eller kontradiktion om och endast om P

Logiska lagar
Tillbaka