Ukážeme si několik možností, jak slovní zadání logické úlohy konvertovat do matematické formy a následně najít řešení s využitím PC. Bude to o Booleově algebře, pravidlech v Hornově tvaru, znalostních bázích a optimalizačních metodách daných do kontrastu s použitím hrubé síly. (Doporučuje se mít s sebou svůj notebook.)