Що означає символ ~ у формулі при будівництві таблиці істинності?

Цей символ називається тильда і він позначає еквівалентність двох виразів (висловлювань). Тобто запис F ~ G істинна тоді і тільки тоді, коли і F, і G або істинні, або хибні одночасно. Іноді замість тильди використовується двунаправленная стрілка.