A ^ (B → C). ~ A ^ B

(A ^ B) → C. ~ (A ^B)

c) Таблицы истинности

составных высказываний (формул), образованных при помощи логических констант (~, ^, v, →, ↔)

Таблицы истинности наглядным образом определяют значение истинности составных высказываний (формул), образованных различными константами.

ОТРИЦАНИЕ

A	~	A
	O
O		O

ДИЗЪЮНКЦИЯ КОНЬЮНКЦИЯ

А	А v В	В
		О
О
О	О	О

А	А ^ В	В
	О
О	О
О	О	О

Конъюнкция двух или более высказываний имеет значение истинности «истинно», (А ^ В) = 1, если и только если составляющие конъюнкцию высказывания равным образом истинны.

Дизъюнкция двух и более высказываний имеет значение истинности «ложно», (A v B) = 0, если и только если составляющие конъюнкцию высказывания равным образом ложны.

ИМПЛИКАЦИЯ

А	А → В	В
	О	О
О
О		О

Импликация имеет значение истинности «ложно» в том и только в том случае, когда ее посылка (антецедент) истинна, а заключение (консеквент)ложно.

ЭКВИВАЛЕНТНОСТЬ

А	А ↔ В	В
	О	О
О	О
О		О

Эквивалентность имеет значение истинности «истинно» тогда и только тогда, когда оба ее члена одновременно либо истинны, либо ложны.