五河士道之博客

P9869 [NOIP2023] 三值逻辑 题目描述 小 L 今天学习了 Kleene 三值逻辑。 在三值逻辑中，一个变量的值可能为：真（True，简写作 T）、假（False，简写作 F）或未确定（Unknown，简写作 U）。 在三值逻辑上也可以定义逻辑运算。由于小 L 学习进度很慢，只掌握了逻辑非运算 ¬，其运算法则为： ¬T = F,  ¬F = T,  ¬U = U 现在小 L 有 n 个三值逻辑变量 x1, …, xn。小 L 想进行一些有趣的尝试，于是他写下了 m 条语句。语句有以下三种类型，其中 ← 表示赋值： xi ← v，其中 v 为 T, F, U 的一种； xi ← xj； xi ← ¬xj。 一开始，小 L 会给这些变量赋初值，然后按顺序运行这 m 条语句。 小 L 希望执行了所有语句后，所有变量的最终值与初值都相等。在此前提下，小 L 希望初值中 Unknown 的变量尽可能少。 在本题中，你需要帮助小 L 找到 Unknown 变量个数最少的赋初值方案，使得执行了所有语句后所有变量的最终值和初始...

今天我们来给博客添加一个非常浪漫的樱花特效。 准备工作 首先你需要准备一个 sakura.js 文件。 代码实现 核心代码 将以下代码放入 source/js/ 目录… 配置项 修改 _config.butterfly.yml… 最终效果 刷新页面，你就能看到樱花了！

Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quick Start Create a new post 1$ hexo new "My New Post" More info: Writing Run server 1$ hexo server More info: Server Generate static files 1$ hexo generate More info: Generating Deploy to remote sites 1$ hexo deploy More info: Deployment