V = alternatywa ^ = koniunkcja L = LEWA P= PRAWA p ^ ( q v r ) <=> [( p ^ q ) v ( p ^ r )] Rozpiszcie to jak możecie ; chodzi mi o poszczególne wartości tych zdań i liter np . ~ (p^q) <=> ( ~p) v ( ~q) p q p^q ~(p^q) ~p ~q ( ~p) v ( ~q) L<=>P 1 1 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1
p ^ ( q v r ) <=> [( p ^ q ) v ( p ^ r )]
Podane wyrażenie logiczne jest tautologią - patrz załącznik