II
[[
logika_dla_informatykow:skrypt:64
]]
Ślad:
»
13
»
98
»
11
»
64
Logika - Zadanie 64.
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
( p \vee q ) \wedge \neg p \Rightarrow q \equiv ( ( p \vee q ) \wedge \neg p ) \Rightarrow q \equiv \neg ( ( p \vee q ) \wedge \neg p ) \vee q \equiv ( ( \neg p \wedge \neg q ) \vee p ) \vee q \equiv ( ( p \vee \neg p ) \wedge ( p \vee \neg q ) ) \vee q \equiv ( p \vee \neg p \vee q ) \wedge ( p \vee \neg q \vee q )
tu trzeba skorzystać z rozdizelności alternatywy względem koniunkcji :)
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
to-do
logika_dla_informatykow/skrypt/64.txt · ostatnio zmienione: 2009/10/20 23:48 przez 89.74.132.23
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji:
MIT License