Логіка висловлювань

1. Побудувати таблиці істинності для кожного з висловлювань:
а) ; б) ; в) ; г) .

2. Довести, що формули , , , , де - значення «хибності», мають ту саму таблицю істинності, що й формула .

3. Довести, що формули та мають однакові таблиці істинності.

4. Застосувавши таблиці істинності, довести закони дистрибутивності.

5. Застосувавши таблиці істинності, довести закони де Моргана.

6. Побудувати складне висловлювання, яке складається з простих висловлювань , , та набуває значення тоді й лише тоді, коли:
а) та істині, хибне; б) точно два з трьох висловлювань , , істинні.