ლოგიკური კანონები

იგივური ტოლობა. ყველა გამონათქვამი იგივურად უდრის თავის თავს:

A=A

არაწინააღმდეგობრივობის კანონი. ლოგიკური გამონათქვამის და მისი უარყოფის ლოგიკური ნამრავლი მცდარია:

A& Ā=೦

მესამეს გამორიცხვის კანონი. ლოგიკური გამონათქვამის და მისი უარყოფის ლოგიკური ჯამი ჭეშმარიტია:

A V Ā=1

ორმაგი უარყოფის კანონი. თუ რომელიმე გამონათქვამს ორჯერ ვუარყოფთ მივიღებთ საწყის გამონათქვამს:

¬(¬A)=A

დე მორგანის კანონები: