Zadanie nr 2

(( A  B )C ) => ( A C )

A	B	C	( A  B )	(( A  B )C )	( A C )	(( A  B )C ) => ( A C )
0	0	0	0	0	0	1
0	0	1	0	0	1	1
0	1	0	1	0	0	1
0	1	1	1	1	1	1
1	0	0	1	0	1	1
1	0	1	1	1	1	1
1	1	0	1	0	1	1
1	1	1	1	1	1	1

Pomocne informacje :)

Elementy logiki matematycznej

 

Zdaniem w matematyce nazywamy takie zdanie w sensie gramatycznym, o którym można jednoznacznie orzec, czy jest prawdziwe czy fałszywe. Wartość logiczną zdania prawdziwego oznaczamy przez 1, zdanie fałszywe ma wartość logiczną 0. Zdania na ogół oznaczamy literami: p, q, r,….

Funkcją zdaniową (formą zdaniową) nazywamy wyrażenie, które po wstawieniu w miejsce zawierające zmienną x dowolnego elementu należącego do dziedziny staje się zdaniem logicznym.

 

Negacja (zaprzeczenie) zdania p - zdanie „nieprawda, że p” oznaczamy: 

 

p	~ p
1 0	0 1

 

Koniunkcja zdań p i q - zdanie „p i q” oznaczamy: pq

Alternatywa zdań p i q - zdanie „p lub q” oznaczamy pq

Implikacja (wynikanie) zdań p i q - zdanie „jeżeli p, to q” oznaczamy: p=>q

Równoważność zdań p i q - zdanie „p wtedy i tylko wtedy, gdy q” oznaczamy: p<=>q

 

PRAWA RACHUNKU ZDAŃ - TAUTOLOGIE

 

Zdanie logiczne nazywamy tautologia, jeśli jest zawsze prawdziwe, niezależnie od wartości logicznych zmiennych zdaniowych w nim występujących.

---