Nepíšeme vnější závorky okolo formule Nepíšeme závorky kolem negace Nepíšeme závorky kolem opakujících se AND nebo OR