Задачи и упражнения по математической логике и теории множеств. Часть математическая логика (стр. 4 из 5)
Выяснить, является ли первая формула логическим следствием остальных:
234) y;
235) x;
236) 
;
237)
238) y;
239)
; 
240)
; 
241)
242)
243)
; 
244) 
;
245) z;
246)
247) 
248)
249)
250)
Найти все (с точностью до равносильности) логические следствия из посылок:
251)
252) 
253)
254) 
255)
256) 
257)
258) 
259)
260) 
Найти все (с точностью до равносильности) посылки, логическим следствием
которых являются формулы:
261) 
262)
263) 
264)
265) 
266) xyz267)
268) 
269) 
270)
Докажите правильность умозаключений:
271)
272) 
273)
274) 
275)
276) 
277)
278) 
279)
280) 
281)
282) 
Выяснить, правильны ли следующие умозаключения:
283)
284) 
285)
286) 
287)
288) 
289) 
290)
291)
292) 
§3.АНАЛИЗ И СИНТЕЗ РЕЛЕЙНО-КОНТАКТНЫХ СХЕМ.
Составить схемы, реализующие следующие функции:
293)
294) 295) 
296)
297) 
298)
| X | Y | Z |  |  |  |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 | 1 |
299) Имеется одна лампа в лестничном пролёте двухэтажного дома. Построить схему так, чтобы на каждом этаже своим выключателем можно было гасить и зажигать лампу независимо от положения другого выключателя.