Nejste přihlášen/a.
Dobrý den, řeším příklad do výrokové logiky, a zajímá mě jak si udělat správně závorky, abych mohl výrokovou formuli správně vyhodnotit.
vezmeme li si takovýto příklad :
a = > c or b <=> c => b and a <=> b
jsem si jist že závorka musí být určite u AND, protože se jedná o logický součin, musí mít předčímkoli přednost.
tudíž určitě bude první krok vypadat takto : a = > c or b <=> c => (b and a) <=>b, dále už ale bohužel nevím jak mám když mám vedle sebe logický součet, implikaci a ekvivalenci
Děkuji moc za radu
Neneseme odpovědnost za správnost informací a za škodu vzniklou jejich využitím. Jednotlivé odpovědi vyjadřují názory jejich autorů a nemusí se shodovat s názorem provozovatele poradny Poradte.cz.
Používáním poradny vyjadřujete souhlas s personifikovanou reklamou, která pomáhá financovat tento server, děkujeme.