Булева формула

Булева формула (по имени Джорджа Буля) — формула логики высказываний. Может содержать логические переменные и пропозициональные связки — конъюнкцию ("\wedge"), дизъюнкцию ("\vee"), отрицание ("\neg") и другие. Формула называется тождественно истинной (ложной), если истинна (ложна) при любых значениях перменных.

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home