Этот символ называется тильда и он обозначает эквивалентность двух выражений (высказываний). То есть запись F~G истинна тогда и только тогда, когда и F, и G либо истинны, либо ложны одновременно. Иногда вместо тильды используется двунаправленная стрелка.
Добавить комментарий