Стрелка Пирса. Математическая логика с Вики! 2024 02 05

Математическая логика с Вики! === === Стре́лка Пи́рса (функция Вебба, отрицание дизъюнкции)[1] — бинарная логическая операция, булева функция над двумя переменными. Таким образом, высказывание «X ↓ Y» означает «(не X) и (не Y)», или, что то же самое, «не (X или Y)». Другая запись not x1 and not x2 == ни x1, ни x2 Это означает, что, используя только стрелку Пирса, можно построить все остальные логические операции === Видео по теме курса Математическая логика с Вики! === === лицензия Creative Commons «С указанием авторства — С сохранением условий» (CC BY-SA)