Величини логічного типу, операції над ними.

true

false

висловлювання

Нуль

1

прості

складені

повідомляючі

операція утворення з висловлення А такого складеного висловлення «не А», яке істинне тоді, коли А хибне, і хибне тоді, коли А істинне.

операція   утворення такого складеного висловлення А ^ В (читається «А і В»), яке істинне тоді й тільки тоді, коли обидва висловлення А і В істинні.

операція утворення такого складеного висловлення «А або В», яке істинне тоді й тільки тоді, коли істинне хоча б одне з висловлень А або В.

операція утворення з висловлення А такого складеного висловлення «не А», яке істинне тоді, коли А хибне, і хибне тоді, коли А істинне.

операція   утворення такого складеного висловлення А ^ В (читається «А і В»), яке істинне тоді й тільки тоді, коли обидва висловлення А і В істинні.

операція утворення такого складеного висловлення «А або В», яке істинне тоді й тільки тоді, коли істинне хоча б одне з висловлень А або В.

операція утворення з висловлення А такого складеного висловлення «не А», яке істинне тоді, коли А хибне, і хибне тоді, коли А істинне.

операція   утворення такого складеного висловлення А ^ В (читається «А і В»), яке істинне тоді й тільки тоді, коли обидва висловлення А і В істинні.

операція утворення такого складеного висловлення «А або В», яке істинне тоді й тільки тоді, коли істинне хоча б одне з висловлень А або В.

Джорджем Булем

Ісааком Ньютоном

Давидем Гільбертом

це змінна, яка може набувати лише значень   true  або  false .

це змінна, яка може набувати рівносильних значень .

це змінна, яка може набувати лише логічну формулу.