Булево кредо :)

Пожалуй, подойдёт как подпись на толковом форуме, вроде "Кибера".

(T v F) ^ ! (T ^ F)

Если прочитать, получится "Истина или ложь, и не «истина и ложь вместе»", то есть, выбирай что-то одно, не пытайся совместить несовместимое, как сказано, "Но да будет слово ваше: «да, да»; «нет, нет»; а что сверх этого, то от лукавого" (Мф, 5:37)

Кстати, выражение особо и не упрощается (сервисы для упрощения логических выражений: 1, 2), из преобразованной по обычным правилам исходной формулы всё равно выйдет "фраза", то есть, логическое выражение той же длины:

(F ^ !T) v (!F ^ T)

"ложь и не-истина или не-ложь и истина"

Можно, впрочем, и вот так переписать:

(T ^ !F) v (F ^ !T)

"истина без лжи или ложь без истины"

Ну а если заменить T с неопределённым значением на 1 (логическую истину), а F - на 0 (ложь), то выражение окажется тождественно истинным!

Если построить таблицу истинности исходной функции, она выдаёт "истину" только если аргументы разные, то есть, при T=1 и F=0 или наоборот (как обычное исключающее "ИЛИ"). Так что ложь и истину в выражении можно поменять местами, но нельзя делать вид, будто они - одно и то же :)

А вот логическая схема этого "триггера Бога":

логическая схема функции, построить такую же можно по ссылке 2

Таким образом, правда существует :)

18.02.2018, 19:43 [1748 просмотров]