Законы алгебры логики: правила и формулы операций, таблица истинности, доказател